This is b.txt.
